TSTP Solution File: SET557^6 by CARINE---0.734